Formal Semantics and Automated Verification for the Border Gateway Protocol Konstantin Weitz Doug Woos

Source URL: conferences.sigcomm.org

From Totally Dark to Totally Old. The Formal Semantics of Subjectification. Andrea Beltrama - University of Chicago Subjectification is process whereby meanings become increasingly based in the speakers’ attitudes towa

Source URL: www.unigoettingen.de

EMPIRICAL ISSUES IN FORMAL SYNTAX AND SEMANTICS 8 Papers from CSSP 2009

Source URL: www.cssp.cnrs.fr

Introduction Semantics of Modeling Languages and Transformations The Rewriting Logic Semantics Project Case Study: Multi-Rate PALS and AADL Why Formal Modeling Language Semantics

Source URL: models2014.webs.upv.es

Replayer: Automatic Protocol Replay by Binary Analysis James Newsome, David Brumley, Jason Franklin, Dawn Song∗ Carnegie Mellon University Pittsburgh, PA, USA {jnewsome,

Source URL: users.ece.cmu.edu

• Theoretical computer science
• Formal methods
• Edsger W. Dijkstra
• Predicate transformer semantics
• Complexity classes
• KeY
• IP
• NP
• PP
• Algorithm

RDP 2015, Jun. 30, 2015, WCMCS, Warsaw. From syntax to semantics of Dependent Type Theories - Formalized by Vladimir Voevodsky

Source URL: rdp15.mimuw.edu.pl

• Mathematics
• Academia
• Mathematical logic
• Type theory
• Abstract algebra
• Logic in computer science
• Mathematical structures
• Formal methods
• Intuitionistic type theory
• Expression
• Lambda calculus
• Universal algebra

Formal Semantics and Ontologies Towards an Ontological Account of Formal Semantics Frank Loebe1,2 and Heinrich Herre2 1

Source URL: fois08.dfki.de

• Ontology
• Semantic Web
• Information science
• Academia
• Logic
• Technical communication
• Computing
• Semantics
• Formal ontology
• Web Ontology Language
• Mereology

Automatic Refinement Checking for B? Michael Leuschel1,2 and Michael Butler1 1 2

Source URL: rodin.cs.ncl.ac.uk

• Software engineering
• Computing
• Formal methods
• Refinement
• FDR
• Model checking
• Prolog
• Algorithm
• Predicate transformer semantics
• Type system
• Abstract machine
• XSB

Verification of SAP reference models Boudewijn van Dongen Monique Jansen-Vullers Verification of SAP reference models

Source URL: bpm2005.loria.fr

• Formal methods
• Logic in computer science
• Business process modeling
• Conceptual model
• Modeling language
• Semantics
• Abstraction
• Operations research
• Computing
• Event-driven process chain